louisedennis
Nov 15, 2007 17:33
Achieved:
- Established that B. was well enough to get G. to school and can now walk without crutches. Re-assured that they won't starve before I get back I have stuck by my original plan to return home tomorrow evening.
- Talked to DA. This involved installing yet another version of emacs, a new version of proof general, three new versions of
( Read more... )
ai,
theorem proving:systems:isaplanner,
ai:automated reasoning,
theorem proving:middle-out reasoning,
theorem proving:proof specification lang,
family:b,
theorem proving,
theorem proving:systems:isabelle,
theorem proving:systems:proof general